<?php
	session_start();
	$result = "<html><body>You have logged out successfully</body></html>";
	$_SESSION['user'] = 0;
	echo $result;
?>

